Newtheorem and theoremstyle test

• Test of standard theorem styles
• Test of number-swapping
• References